1. Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures
پدیدآورنده : Marco Bernardo, Flavio Corradini )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Real-time control,Congresses ، Real-time programming,Congresses ، Real-time data processing,Congresses ، Computer systems,Congresses ، Telecommunication systems
رده :
QA
76
.
L28
Vol
.
3185